1. Formal correctness of security protocols
Author: Bella, Giampaolo.
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: ، Artificial intelligence,، Computer security,Access control ، Computers
Classification :
QA
76
.
9
.
A25
.
B44
